recursively enumerable language in toc